Nuprl Definition : es-kindcase
11,40
postcript
pdf
case(kind(
e
))
act(
a
) =>
f
(
a
)
rcv(
l
,
tg
) =>
g
(
l
;
tg
)
== if isrcv(
e
) then
g
(lnk(
e
);tag(
e
)) else
f
(act(
e
)) fi
latex
clarification:
es-kindcase(
es
;
e
;
a
.
f
(
a
);
l
,
tg
.
g
(
l
;
tg
))
== if es-isrcv(
es
;
e
) then
g
(es-lnk(
es
;
e
);es-tag(
es
;
e
)) else
f
(es-act(
es
;
e
)) fi
latex
Definitions
if
b
then
t
else
f
fi
,
isrcv(
e
)
,
lnk(
e
)
,
tag(
e
)
,
act(
e
)
FDL editor aliases
es-kindcase
origin